.text
	.insn 0xFF/5, %edi
	.insn 0xFF/3, %eax
.fill 0x5, 0x1, 0x90
.byte 0xC5, 0xEC, 0x4A, 0x9B
.byte 0xC5, 0xEC, 0x4A, 0x6F
	.insn VEX.L1.NP.0f.W0 0x4a, (%edi), %k2, %k7
.byte 0xC5, 0xED, 0x4A, 0x9B
.byte 0xC5, 0xED, 0x4A, 0x6F
	.insn VEX.L1.66.0f.W0 0x4a, (%edi), %k2, %k7
.byte 0xC4, 0xE1, 0xEC, 0x4A, 0x9B
.byte 0xC4, 0xE1, 0xEC, 0x4A, 0x6F
	.insn VEX.L1.NP.0f.W1 0x4a, (%edi), %k2, %k7
.byte 0xC4, 0xE1, 0xED, 0x4A, 0x9B
.byte 0xC4, 0xE1, 0xED, 0x4A, 0x6F
	.insn VEX.L1.66.0f.W1 0x4a, (%edi), %k2, %k7
.byte 0xC5, 0xEC, 0x41, 0x9B
.byte 0xC5, 0xEC, 0x41, 0x6F
	.insn VEX.L1.NP.0f.W0 0x41, (%edi), %k2, %k7
.byte 0xC5, 0xED, 0x41, 0x9B
.byte 0xC5, 0xED, 0x41, 0x6F
	.insn VEX.L1.66.0f.W0 0x41, (%edi), %k2, %k7
.byte 0xC4, 0xE1, 0xEC, 0x41, 0x9B
.byte 0xC4, 0xE1, 0xEC, 0x41, 0x6F
	.insn VEX.L1.NP.0f.W1 0x41, (%edi), %k2, %k7
.byte 0xC4, 0xE1, 0xED, 0x41, 0x9B
.byte 0xC4, 0xE1, 0xED, 0x41, 0x6F
	.insn VEX.L1.66.0f.W1 0x41, (%edi), %k2, %k7
.byte 0xC5, 0xEC, 0x42, 0x9B
.byte 0xC5, 0xEC, 0x42, 0x6F
	.insn VEX.L1.NP.0f.W0 0x42, (%edi), %k2, %k7
.byte 0xC5, 0xED, 0x42, 0x9B
.byte 0xC5, 0xED, 0x42, 0x6F
	.insn VEX.L1.66.0f.W0 0x42, (%edi), %k2, %k7
.byte 0xC4, 0xE1, 0xEC, 0x42, 0x9B
.byte 0xC4, 0xE1, 0xEC, 0x42, 0x6F
	.insn VEX.L1.NP.0f.W1 0x42, (%edi), %k2, %k7
.byte 0xC4, 0xE1, 0xED, 0x42, 0x9B
.byte 0xC4, 0xE1, 0xED, 0x42, 0x6F
	.insn VEX.L1.66.0f.W1 0x42, (%edi), %k2, %k7
.byte 0xC5, 0xEC, 0x4B, 0x9B
.byte 0xC5, 0xEC, 0x4B, 0x6F
	.insn VEX.L1.NP.0f.W0 0x4b, (%edi), %k2, %k7
.byte 0xC5, 0xED, 0x4B, 0x9B
.byte 0xC5, 0xED, 0x4B, 0x6F
	.insn VEX.L1.66.0f.W0 0x4b, (%edi), %k2, %k7
.byte 0xC4, 0xE1, 0xEC, 0x4B, 0x9B
.byte 0xC4, 0xE1, 0xEC, 0x4B, 0x6F
	.insn VEX.L1.NP.0f.W1 0x4b, (%edi), %k2, %k7
.byte 0xC5, 0xF8, 0x44, 0x9B
.byte 0xC5, 0xF8, 0x44, 0x6F
	.insn VEX.L0.NP.0f.W0 0x44, (%edi), %k7
.byte 0xC5, 0xF9, 0x44, 0x9B
.byte 0xC5, 0xF9, 0x44, 0x6F
	.insn VEX.L0.66.0f.W0 0x44, (%edi), %k7
.byte 0xC4, 0xE1, 0xF8, 0x44, 0x9B
.byte 0xC4, 0xE1, 0xF8, 0x44, 0x6F
	.insn VEX.L0.NP.0f.W1 0x44, (%edi), %k7
.byte 0xC4, 0xE1, 0xF9, 0x44, 0x9B
.byte 0xC4, 0xE1, 0xF9, 0x44, 0x6F
	.insn VEX.L0.66.0f.W1 0x44, (%edi), %k7
.byte 0xC5, 0xEC, 0x45, 0x9B
.byte 0xC5, 0xEC, 0x45, 0x6F
	.insn VEX.L1.NP.0f.W0 0x45, (%edi), %k2, %k7
.byte 0xC5, 0xED, 0x45, 0x9B
.byte 0xC5, 0xED, 0x45, 0x6F
	.insn VEX.L1.66.0f.W0 0x45, (%edi), %k2, %k7
.byte 0xC4, 0xE1, 0xEC, 0x45, 0x9B
.byte 0xC4, 0xE1, 0xEC, 0x45, 0x6F
	.insn VEX.L1.NP.0f.W1 0x45, (%edi), %k2, %k7
.byte 0xC4, 0xE1, 0xED, 0x45, 0x9B
.byte 0xC4, 0xE1, 0xED, 0x45, 0x6F
	.insn VEX.L1.66.0f.W1 0x45, (%edi), %k2, %k7
.byte 0xC5, 0xF8, 0x98, 0x9B
.byte 0xC5, 0xF8, 0x98, 0x6F
	.insn VEX.L0.NP.0f.W0 0x98, (%edi), %k7
.byte 0xC5, 0xF9, 0x98, 0x9B
.byte 0xC5, 0xF9, 0x98, 0x6F
	.insn VEX.L0.66.0f.W0 0x98, (%edi), %k7
.byte 0xC4, 0xE1, 0xF8, 0x98, 0x9B
.byte 0xC4, 0xE1, 0xF8, 0x98, 0x6F
	.insn VEX.L0.NP.0f.W1 0x98, (%edi), %k7
.byte 0xC4, 0xE1, 0xF9, 0x98, 0x9B
.byte 0xC4, 0xE1, 0xF9, 0x98, 0x6F
	.insn VEX.L0.66.0f.W1 0x98, (%edi), %k7
.byte 0xC5, 0xEC, 0x46, 0x9B
.byte 0xC5, 0xEC, 0x46, 0x6F
	.insn VEX.L1.NP.0f.W0 0x46, (%edi), %k2, %k7
.byte 0xC5, 0xED, 0x46, 0x9B
.byte 0xC5, 0xED, 0x46, 0x6F
	.insn VEX.L1.66.0f.W0 0x46, (%edi), %k2, %k7
.byte 0xC4, 0xE1, 0xEC, 0x46, 0x9B
.byte 0xC4, 0xE1, 0xEC, 0x46, 0x6F
	.insn VEX.L1.NP.0f.W1 0x46, (%edi), %k2, %k7
.byte 0xC4, 0xE1, 0xED, 0x46, 0x9B
.byte 0xC4, 0xE1, 0xED, 0x46, 0x6F
	.insn VEX.L1.66.0f.W1 0x46, (%edi), %k2, %k7
.byte 0xC5, 0xEC, 0x47, 0x9B
.byte 0xC5, 0xEC, 0x47, 0x6F
	.insn VEX.L1.NP.0f.W0 0x47, (%edi), %k2, %k7
.byte 0xC5, 0xED, 0x47, 0x9B
.byte 0xC5, 0xED, 0x47, 0x6F
	.insn VEX.L1.66.0f.W0 0x47, (%edi), %k2, %k7
.byte 0xC4, 0xE1, 0xEC, 0x47, 0x9B
.byte 0xC4, 0xE1, 0xEC, 0x47, 0x6F
	.insn VEX.L1.NP.0f.W1 0x47, (%edi), %k2, %k7
.byte 0xC4, 0xE1, 0xED, 0x47, 0x9B
.byte 0xC4, 0xE1, 0xED, 0x47, 0x6F
	.insn VEX.L1.66.0f.W1 0x47, (%edi), %k2, %k7
.byte 0xC5, 0xF8, 0x99, 0x9B
.byte 0xC5, 0xF8, 0x99, 0x6F
	.insn VEX.L0.NP.0f.W0 0x99, (%edi), %k7
.byte 0xC5, 0xF9, 0x99, 0x9B
.byte 0xC5, 0xF9, 0x99, 0x6F
	.insn VEX.L0.66.0f.W0 0x99, (%edi), %k7
.byte 0xC4, 0xE1, 0xF8, 0x99, 0x9B
.byte 0xC4, 0xE1, 0xF8, 0x99, 0x6F
	.insn VEX.L0.NP.0f.W1 0x99, (%edi), %k7
.byte 0xC4, 0xE1, 0xF9, 0x99, 0x9B
.byte 0xC4, 0xE1, 0xF9, 0x99, 0x6F
	.insn VEX.L0.66.0f.W1 0x99, (%edi), %k7
.byte 0xC4, 0xE3, 0xF9, 0x30, 0x8F, 0x01
.byte 0xC4, 0xE3, 0xF9, 0x30, 0x6A, 0x01
.byte 0xC4, 0xE3, 0xF9, 0x30, 0x04, 0x01
.byte 0xC4, 0xE3, 0x79, 0x30, 0x8F, 0x01
.byte 0xC4, 0xE3, 0x79, 0x30, 0x6A, 0x01
.byte 0xC4, 0xE3, 0x79, 0x30, 0x04, 0x01
.byte 0xC4, 0xE3, 0xF9, 0x31, 0x8F, 0x01
.byte 0xC4, 0xE3, 0xF9, 0x31, 0x6A, 0x01
.byte 0xC4, 0xE3, 0xF9, 0x31, 0x04, 0x01
.byte 0xC4, 0xE3, 0x79, 0x31, 0x8F, 0x01
.byte 0xC4, 0xE3, 0x79, 0x31, 0x6A, 0x01
.byte 0xC4, 0xE3, 0x79, 0x31, 0x04, 0x01
.byte 0xC4, 0xE3, 0xF9, 0x32, 0x8F, 0x01
.byte 0xC4, 0xE3, 0xF9, 0x32, 0x6A, 0x01
.byte 0xC4, 0xE3, 0xF9, 0x32, 0x04, 0x01
.byte 0xC4, 0xE3, 0x79, 0x32, 0x8F, 0x01
.byte 0xC4, 0xE3, 0x79, 0x32, 0x6A, 0x01
.byte 0xC4, 0xE3, 0x79, 0x32, 0x04, 0x01
.byte 0xC4, 0xE3, 0xF9, 0x33, 0x8F, 0x01
.byte 0xC4, 0xE3, 0xF9, 0x33, 0x6A, 0x01
.byte 0xC4, 0xE3, 0xF9, 0x33, 0x04, 0x01
.byte 0xC4, 0xE3, 0x79, 0x33, 0x8F, 0x01
.byte 0xC4, 0xE3, 0x79, 0x33, 0x6A, 0x01
.byte 0xC4, 0xE3, 0x79, 0x33, 0x04, 0x01
.byte 0xC5, 0xF8, 0x92, 0x9B
.byte 0xC5, 0xF8, 0x92, 0x6F
	.insn VEX.L0.NP.0f.W0 0x92, (%edi), %k7
.byte 0xC5, 0xF9, 0x92, 0x9B
.byte 0xC5, 0xF9, 0x92, 0x6F
	.insn VEX.L0.66.0f.W0 0x92, (%edi), %k7
.byte 0xC5, 0xFB, 0x92, 0x9B
.byte 0xC5, 0xFB, 0x92, 0x6F
	.insn VEX.L0.f2.0f.W0 0x92, (%edi), %k7
.byte 0xC4, 0xE1, 0xF9, 0x92, 0x9B
.byte 0xC4, 0xE1, 0xF9, 0x92, 0x6F
	.insn VEX.L0.66.0f.W1 0x92, (%edi), %k7
.byte 0xC5, 0xF8, 0x93, 0x9B
.byte 0xC5, 0xF8, 0x93, 0x6F
	.insn VEX.L0.NP.0f.W0 0x93, (%edi), %k7
.byte 0xC5, 0xF9, 0x93, 0x9B
.byte 0xC5, 0xF9, 0x93, 0x6F
	.insn VEX.L0.66.0f.W0 0x93, (%edi), %k7
.byte 0xC5, 0xFB, 0x93, 0x9B
.byte 0xC5, 0xFB, 0x93, 0x6F
	.insn VEX.L0.f2.0f.W0 0x93, (%edi), %k7
.byte 0xC4, 0xE1, 0xF9, 0x93, 0x9B
.byte 0xC4, 0xE1, 0xF9, 0x93, 0x6F
	.insn VEX.L0.66.0f.W1 0x93, (%edi), %k7
.byte 0xc4, 0xe2, 0x1, 0x1c, 0x41, 0x37
.byte 0x62, 0xf2, 0xad, 0x08, 0x1c, 0x01
.byte 0x1
	.insn EVEX.66.0f3a.W0 0x1b, $0x25, %ymm0, %xmm1
.byte 0x62, 0xf3
//.byte 0x62, 0xf3, 0x75, 0x08, 0x23, 0xc2, 0x25
	.insn EVEX.66.0f3a.W0 0x23, $0x25, %xmm2, %xmm1, %xmm0
.byte 0x62
	.insn EVEX.66.0f38.W0 0x5b, 0x37(%ecx){:d1}, %ymm0
